Perfect Maps Are Exponentiable - Categorically
نویسندگان
چکیده
A categorical proof of the statement given by the title is provided, in generalization of a result for topological spaces proved recently by Clementino, Hofmann and Tholen.
منابع مشابه
Perfect Effect Algebras Are Categorically Equivalent with Abelian Interpolation Po-groups
We introduce perfect effect algebras and we show that every perfect algebra is an interval in the lexicographical product of the group of all integers with an Abelian directed interpolation po-group. To show this we introduce prime ideals of effect algebras with the Riesz decomposition property (RDP). We show that the category of perfect effect algebras is categorically equivalent to the catego...
متن کاملExponentiable morphisms of domains
Given a map f in the category ω-Cpo of ω-complete posets, exponentiability of f in ω-Cpo easily implies exponentiability of f in the category Pos of posets, while the converse is not true. We find then the extra conditions needed on f exponentiable in Pos to be exponentiable in ω-Cpo, showing the existence of partial products of the two-point ordered set S = {0 < 1} (Theorem 1.8). Using this ch...
متن کاملOn exponentiable soft topological spaces
An object $X$ of a category $mathbf{C}$ with finite limits is called exponentiable if the functor $-times X:mathbf{C}rightarrow mathbf{C}$ has a right adjoint. There are many characterizations of the exponentiable spaces in the category $mathbf{Top}$ of topological spaces. Here, we study the exponentiable objects in the category $mathbf{STop}$ of soft topological spaces which is a generalizati...
متن کاملExponentiable Functors Between Quantaloid-Enriched Categories
Exponentiable functors between quantaloid-enriched categories are characterized in elementary terms. The proof goes as follows: the elementary conditions on a given functor translate into existence statements for certain adjoints that obey some lax commutativity; this, in turn, is precisely what is needed to prove the existence of partial products with that functor; so that the functor’s expone...
متن کاملExponentiation of unary topologies over inductively generated formal topologies
We prove that unary formal topologies are exponentiable in the category of inductively generated formal topologies. From an impredicative point of view, this means that algebraic dcpos with a bottom element are exponentiable in the category of open locales.
متن کامل